Lambda calculus

Results: 1452



#Item
241Grammar / Linguistics / Mathematical logic / Syntax / FO / Finite model theory / Argument / Lambda calculus / Predicate / Functional predicate

Typed Meta-Interpretive Learning for Proof Strategies Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen Muggleton & Alan Bundy

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2015-09-02 07:29:35
242Mathematical analysis / Statistics / Gradient descent / Loss function / Analysis / Spectral theory / Operator theory / Ordinary differential equations / Lambda calculus

Fast Prediction of New Feature Utility Hoyt Koepke Department of Statistics University of Washington Seattle, WAMikhail Bilenko Microsoft Research, Redmond, WA 12345

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-06-21 20:00:35
243Automated theorem proving / Logic programming / Logic in computer science / Computability theory / Algebraic topology / Substitution / Unification / Lambda calculus / Sheaf / Scheme / Combinatory logic / Morphism of algebraic varieties

Scheme-based Theorem Discovery and Concept Invention O. Montano-Rivasa , R. McCaslanda , L. Dixona , A. Bundya a School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street,

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-11-08 18:52:08
244

CMSC 336: Type Systems for Programming Languages Lecture 5: Simply Typed Lambda Calculus Acar & Ahmed January 24, 2008

Add to Reading List

Source URL: ttic.uchicago.edu

Language: English - Date: 2008-01-24 13:16:15
    245Theoretical computer science / Mathematical logic / Logic / Automated theorem proving / Logic programming / Logic in computer science / Type theory / Lambda calculus / Substitution / Symbol / Directed acyclic graph / Unification

    A Larger Decidable Semiunification Problem Brad Lushman University of Waterloo Gordon V. Cormack University of Waterloo

    Add to Reading List

    Source URL: plg.uwaterloo.ca

    Language: English - Date: 2007-05-04 17:04:35
    246Software engineering / Computing / Logic / Data types / Functional programming / Lambda calculus / Type theory / Logic in computer science / Eval / Hoare logic / Anonymous function / Separation logic

    Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

    Add to Reading List

    Source URL: www.cs.princeton.edu

    Language: English - Date: 2013-09-23 14:54:00
    247Mathematics / Academia / Mathematical logic / Type theory / Abstract algebra / Logic in computer science / Mathematical structures / Formal methods / Intuitionistic type theory / Expression / Lambda calculus / Universal algebra

    RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

    Add to Reading List

    Source URL: hott-uf.gforge.inria.fr

    Language: English - Date: 2015-07-04 05:55:41
    248Computability theory / Lambda calculus / Recursion / Theoretical computer science / Type theory / Combinatory logic / Church encoding / Initial algebra / Primitive recursive function

    The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2014-05-15 11:45:56
    249

    CMCS 312: Programming Languages Lecture 3: Lambda Calculus (Syntax, Substitution, Beta Reduction) Acar & Ahmed 17 January 2008

    Add to Reading List

    Source URL: ttic.uchicago.edu

    Language: English - Date: 2008-01-17 12:55:30
      250Models of computation / Type theory / Formal methods / Theory of computation / Equivalence relation / Monad / Denotational semantics / Parametricity / Simply typed lambda calculus / Modal logic / Lambda calculus

      Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

      Add to Reading List

      Source URL: www.ccs.neu.edu

      Language: English - Date: 2015-08-13 12:55:46
      UPDATE